机译:基于FSM,CSP和ADT的通信协议混合形式描述方法
机译:一种基于FSM,CSP和ADT的混合形式描述方法,用于通信协议
机译:带有CoreASM的复杂分布式系统的可执行正式规范
机译:应用正式方法 - 从CSP到可执行的混合规范
机译:使用两级语法和上下文自然语言处理,将需求文档自动转换为可执行的正式规范。
机译:无线传感器和Actor网络的混合连接性恢复算法的正式规范和验证
机译:面向对象的形式符号:Clay中的可执行规范=正式的面向对象的符号:Clay中的可执行规范
机译:从原始对象的形式规范生成可执行代码